• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۱۱ پاسخ غیر تکراری از ۱۱۱ پاسخ تکراری در مدت زمان ۰,۴۵ ثانیه یافت شد.

101. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Giorgio Levi, ed

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
1503

102. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jens Palsberg )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
1824

103. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Agostino Cortesi, Gilberto File

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis

Classification :
QA
76
.
L28
Vol
.
1694

104. Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roberto Giacobazzi )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
3148

105. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Radhia Cousot )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
2694

106. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Roberto Giacobazzi )ed.(

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
I5733
2004

107. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Patrick Cousot...]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
724

108. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by E. Engeler

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

Classification :
QA
1
.
L4
v
.
188

109. Symposium on semantics of algorithmic languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by E. Engeler

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses

Classification :
QA
76
.
7
.
S9
1971

110. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, J.W. de Bakker and J.J.M.M. Rutten

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses

Classification :
QA
76
.
642
.
T45
1992

111. foundation Mathematics for computer science: a visual approach

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: john vince

Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)

Subject: Sematics Congresses ، Programming languages )Electronic computers(,Mathematics Congresses ، Computer science

Classification :
QA
76
.
7
.
V46
F69
  • »
  • 6
  • 5
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival